type E =
    | A = (1)
    | B = (1 + 1)
    | C = ((1 + 1))
